<?php if (isset($top_menus)) echo $top_menus; ?>